Chuchang Liu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE Comput. Soc. Press TIME '97: 4th International Workshop on Temporal Representation and Reasoning - Dayton Beach, FL, USA (10-11 May 1997)] Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning - BCTL: a branching clock temporal logic

Chuchang Liu,, Orgun, M.A.

Year:

1997

Language:

english

File:

PDF, 712 KB

english, 1997

2

[IEEE Comput. Soc ICON'99: IEEE International Conference on Networks - Brisbane, Qld., Australia (28 Sept.-1 Oct. 1999)] IEEE International Conference on Networks. ICON '99 Proceedings (Cat. No.PR00243) - Formalizing certificate management systems

Chuchang Liu,, Cant, T., Ozols, M.A., Henderson, M.

Year:

1999

Language:

english

File:

PDF, 123 KB

english, 1999

3

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak

Journal:

Mathematics in Computer Science

Year:

2008

Language:

english

File:

PDF, 509 KB

english, 2008

4

[IEEE Comput. Soc Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) - Sanibel Island, FL, USA (16-17 May 1998)] Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) - Embedding a timing system in TLC

Chuchang Liu,, Orgun, M.A.

Year:

1998

Language:

english

File:

PDF, 179 KB

english, 1998

5

[IEEE 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Sydney, Australia (2008.12.9-2008.12.12)] 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - An Abstract Model for Dynamic Access Control Architectures

Liu, Chuchang, Billard, Angela, Long, Benjamin

Year:

2008

Language:

english

File:

PDF, 199 KB

english, 2008

6

[IEEE 1st International Conference on Algorithms and Architectures for Parallel Processing - Brisbane, Qld., Australia (19-21 April 1995)] Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing - A framework for exploiting parallelism in Chronolog

Chuchang Liu,, Orgun, M.A., Kang Zhang,

Year:

1995

Language:

english

File:

PDF, 727 KB

english, 1995

7

Verification of reactive systems using temporal logic with clocks

Chuchang Liu, Mehmet A. Orgun

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 2.28 MB

english, 1999

8

Special issue on logics for intelligent agents and multi-agent systems

Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar

Journal:

Journal of Applied Logic

Year:

2011

Language:

english

File:

PDF, 80 KB

english, 2011

9

Dealing with Multiple Granularity of Time in Temporal Logic Programming

CHUCHANG LIU, MEHMET A. ORGUN

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 664 KB

english, 1996

10

Modal tableaux for verifying stream authentication protocols

Mehmet A. Orgun, Guido Governatori, Chuchang Liu

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2009

Language:

english

File:

PDF, 257 KB

english, 2009

11

[IEEE Comput. Soc 23rd Australasian Computer Science Conference. ACSC 2000 - Canberra, ACT, Australia (31 Jan.-3 Feb. 2000)] Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) - Towards certificate verification in a certificate management system

Chuchang Liu,, Ozols, M.A., Cant, T., Henderson, M.

Year:

1999

Language:

english

File:

PDF, 115 KB

english, 1999

12

[IEEE 2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing - Indianapolis, IN, USA (2006.09.29-2006.10.1)] 2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing - Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

Orgun, Mehmet, Ma, Ji, Liu, Chuchang, Governatori, Guido

Year:

2006

Language:

english

File:

PDF, 192 KB

english, 2006

13

[IEEE 2006 IEEE International Conference on Information Reuse & Integration - Waikoloa Village, HI, USA (2006.9.16-2006.9.16)] 2006 IEEE International Conference on Information Reuse & Integration - Reasoning about Dynamics of Trust and Agent Beliefs

Orgun, Mehmet, Liu, Chuchang

Year:

2006

Language:

english

File:

PDF, 227 KB

english, 2006

14

[IEEE 2006 IEEE International Conference on Information Reuse & Integration - Waikoloa Village, HI, USA (2006.9.16-2006.9.16)] 2006 IEEE International Conference on Information Reuse & Integration - Representation and Integration of Knowledge based on Multiple Granularity of Time using Temporal Logic

Orgun, Mehmet, Liu, Chuchang, Nayak, Abhaya

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

15

[ACM Press the 1996 ACM symposium - Philadelphia, Pennsylvania, United States (1996.02.17-1996.02.19)] Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96 - Executing specifications of distributed computations with Chronolog(MC)

Liu, Chuchang, Orgun, Mehmet A.

Year:

1996

Language:

english

File:

PDF, 798 KB

english, 1996

16

An abstract dynamic access control architecture

Chuchang Liu, Angela Billard, Benjamin Long

Journal:

Journal of Applied Logic

Year:

2011

Language:

english

File:

PDF, 234 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски